深入探讨Aleo：可编程隐私的先驱之一

Aleo的粉丝朋友你们好，这里是 

 AleoASIA | Aleo大中华社区

Aleo最靠谱的中文社区 

1/ 

区块链中的隐私意味着什么？为什么今天大多数区块链仍然是透明的？在深入探讨 @AleoHQ - 可编程隐私的先驱之一  之前，这份全面的概述涵盖了这些问题以及更多问题。作者 @hammyx_ （来自Equilibrium）

2/

第 1 部分：概述 

自从比特币引入去中心化信任的概念以来，区块链已经经历了多次迭代。今天，我们看到发展分为三个主要方向：1. 模块化可扩展性 2. 单分片可扩展性 3. 可编程隐私

3/ 

当谈到区块链中的隐私时，需要考虑多种不同的权衡。

为了方便各协议之间的比较，我们从三个不同的方面进行分析：

什么是私有？

包括私有输入和输出，以及用户和函数隐私

可编程性 - 隐私可以用来做什么？ 

从特定于应用程序的链到具有私有全局状态的完全通用可编程性（图灵完备）的范围。重点关注私有计算的可编程性及其局限性：

5/ 

隐私保证的强度 - 

隐私的可靠性如何以及您从私人集合中提取信息的容易程度如何？更广泛的部分，包括屏蔽集的大小、默认或选择加入的隐私以及量子证明（SNARK 与 STARK）等内容

6/ 

使用这个框架——不同的参与者如何相互比较？ 

如下表所示，方法存在一些差异。协议的预期时间表/成熟度也有很大差异，这使得很难进行比较（即将主网与预测试网）

7/ 

第 2 部分：Aleo 深入研究

@AleoHQ 是一个 L1 区块链，默认情况下将通用可编程性与隐私性相结合。它是“可编程隐私”的先驱之一——让应用程序开发者可以轻松集成隐私 预计今年晚些时候在主网上线

8/ 

Aleo 基于 2018 年 ZEXE 论文，其主要优点是： 

1. 默认隐私与可编程性相结合

2. 通过避免重新执行来提高效率和可扩展性（减少冗余计算） 

3. 程序运行时间不受限制（由于链外执行，没有gas的概念）

9/ 

但 Aleo 到底是如何实现隐私的呢？ 

实现这一点的三个主要组件是记录模型、承诺和去中心化私有计算（链下执行的交易并使用程序证明进行验证） 让我们仔细看看每一个：

10/

记录模型： 

区块链中使用的两种主要状态模型是UTXO和账户模型（由以太坊引入）。Aleo 使用记录模型 - UTXO 模型的变体。记录可以包含任何任意有效负载，并用于对用户资产或应用程序状态进行编码

11/ 

Aleo 中的记录是通过转换函数使用和创建的。

一个事务可以包含多个转换，每个转换负责其各个记录的消耗和创建。这使得在一个事务中包含多个状态更新（最多 32 个）

12/ 

承诺： 

在私有计算中，每个记录中的数据有效负载都是加密的。加密承诺确保所提供的信息有效且未被篡改，从而在保护敏感信息的同时实现验证和信任

13/ 

去中心化私有计算： 

最后一个难题是通过 ZKP（程序证明）进行链下执行和验证，而不是将交易数据发布到链上供验证者通过重新执行进行验证。这也导致更少的冗余计算（更高效）

14/ 

然而，生成程序证明的计算量仍然很大...... 

虽然客户端证明（在用户自己的设备上）是最私密的替代方案，但某些用户可能愿意为了性能而牺牲一些隐私并外包给第三方证明者

翻译自推特@equilibrium_co

 Aleo 是第 1 层区块链，为网络带来隐私 

更多Aleo信息，请关注我们！重要的项目信息，将首发在VX群哦！

AleoAsia大中华社区，旨在为大中华区社区的伙伴传递最权威、最快速、最全面的项目资讯；同时协助Aleo在大中华区举办各种活动，包括宣传、会议、AMA等，扩大Aleo在大中华区的知名度，获得更多人对Aleo的认同感，从而加入到Aleo，一起为Aleo生态的繁荣努力！

加入AleoAsia大中华社区VX交流群，能更快获取信息哦！入群要求：请关注我们AleoAsia 公众号，并 转发文章至朋友圈，或点赞+点看我们任一篇文章，联系AleoAsia即可入群啦。进群请遵守群规！

【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。DYOR!】